861. Mathematical theory of computation
پدیدآورنده : / Zohar Manna
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic digital computers - Programming,Debugging in computer science
رده :
001
.
6425
M282
862. Mathematics for computer programmers
پدیدآورنده : Kay, Christine Benedyk
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Computer science- Mathematics,، Electronic digital computers- Programming
رده :
QA
76
.
9
.
M35
K38
863. Mathematics for data processing
پدیدآورنده : DENAGELO,SALVATORE
کتابخانه: (طهران)
موضوع : NUMERICAL ANALYSIS , ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING
رده :
QA
297
.
D39
864. Mathematics for data processing
پدیدآورنده : DeAngelo, Salvatore
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Numerical analysis,، Electronic digital computers-- Programming
رده :
QA
297
.
D39
865. Mathematics for the analysis of algorithms
پدیدآورنده : Greene, Daniel H.
موضوع : ، Electronic digital computers-- Programming,، Computer algorithms
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
866. Mathematics for the analysis of algorithms
پدیدآورنده : Greene, Daniel H.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Programming ، Electronic digital computers,، Algorithms
رده :
QA
76
.
6
.
G7423
1982
867. Mathematics of program construction
پدیدآورنده : Ronald Back house Jose Nuno oliveria
کتابخانه: (کرمان)
موضوع : Electronic digital computers-programming-congresses,computer science-mathematics-congresses
رده :
QA
76
.
6
.
M2
2000
868. Mathematics of program construction : Second International Conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M367
1993
869. Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Electronic digital computers - Programming,Congresses ، Computer science - Mathematics
رده :
QA
76
.
L4
v
.
669
870. Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings
پدیدآورنده : R.S. Bird, C.C. Morgan, J.C.P. Woodcock, eds
کتابخانه: (طهران)
موضوع : Electronic digital computers - Programming - Congresses , Computer science - Mathematics - Congresses
رده :
QA
76
.
6
.
M367
1992
871. Mathematics of program construction : 375th anniversary of the Groningen University : international conference, Groningen, The Netherlands, June 26-30, 1989 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Computer science-- Mathematics-- Congresses
رده :
QA
76
.
6
.
M366
1989
872. Matrix computer analysis of structures
پدیدآورنده : Rubinstein, Moshe F.
کتابخانه: (طهران)
موضوع : Electronic data prossesing - Structures, theory of , Electronic digital computers - Programming , Matrices
رده :
TA
642
.
R8
873. Matrix computer analysis of structures
پدیدآورنده : / [by] Moshe F. Rrubinstein
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Electronic data processing--Structures,theory of,Electronic digital computers--Programming,Matrices
رده :
TA
642
.
R8
874. Mes premieres constructions de programmes
پدیدآورنده : Gerbier, A
کتابخانه: (طهران)
موضوع : ، Electronic digital computers -- Programming
رده :
QA
76
.
6
.
G47
875. Methode van programmeren. English,A method of programming
پدیدآورنده : Edsger W. dijkstra, W. H. Feijen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Electronic digital computers - Programming
رده :
QA
,
76
.
6
,.
D5513
,
1988
876. Methodes de programmation
پدیدآورنده : Meyer, Bertrand
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers-- Programming
رده :
QA
76
.
6
.
M4
1984
877. Methodes generale d'analyse d'une application informatique
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Electronic data processing,Electronic digital computers - Programming
رده :
001
.
61
Ca-M
878. Methods of programming: selected papers on the CIP-project
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic digital computers--Programming
رده :
QA
76
.
6
.
M4543
1991
879. Microprocessor systems
پدیدآورنده : / William Eccles
کتابخانه: مكتبات الكلية التقنية بجامعة طهران (طهران)
موضوع : Microprocessors,Computer architecture,Electronic digital computers--Programming
رده :
QA
76
.
5
.
E27
1985
880. Microprocessors systems; a 16-bit approach
پدیدآورنده : Eccles, William
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Microprocessors,، Computer - architecture,، Electronic digital computers - programming
رده :
QA
76
.
5
.
E27
1985
